翻訳と辞書 Words near each other ・ John Leventhorpe ・ John Leveque ・ John Lever ・ John Lever (disambiguation) ・ John Leverett ・ John Leverett the Younger ・ John Leveson ・ John Leland (politician) ・ John Leland (Presbyterian) ・ John Leland Atwood ・ John Leland Center for Theological Studies ・ John Leland Champe ・ John Leman ・ John Lement Bacon ・ John Lemesurier ・ John Lemmon ・ John Lemmon (politician) ・ John Lemmon Films ・ John Lemmone ・ John Lemoinne ・ John Lemon ・ John Lemon (prospector) ・ John Lemont ・ John Lemprière ・ John Lemuel Bethune ・ John Lenaghan ・ John Lenahan ・ John Lenczowski ・ John Lenders ・ John Leng Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク John Lemmon ： ウィキペディア英語版 John Lemmon Edward John Lemmon (1 June 1930 – 29 July 1966) was a logician and philosopher born in Sheffield, England. He is most well known for his work on modal logic, particularly his joint text with Dana Scott published posthumously (Lemmon and Scott, 1977). Lemmon attended King Edward VII School〔(School magazine, 1947 )〕 in Sheffield until 1947, before reading Literae humaniores at Magdalen College, Oxford, as an undergraduate, and was appointed Fellow of Trinity College, Oxford, in 1957. In 1963, following a visiting professorship in Texas, Lemmon emigrated to the United States to lecture at the Claremont Graduate School (now Claremont Graduate University). Lemmon died from heart failure whilst climbing. ==Modal logic== John Lemmon became interested in modal logic when Arthur Prior visited Oxford University in 1956 to give the John Locke lectures, later published as his ''Time and Modality'' (Prior 1957). Prior returned for twelve months soon after, to lead a small group including Lemmon, Peter Geach and Ivo Thomas (Copeland 2004). John Lemmon became one of the early champions of Prior's distinctive approach to tense logic, and Lemmon's later work on alethic modality and applications of modal logic to ethics bear the mark of Prior's influence. At this time, Lemmon published a treatment of alethic and epistemic modalities which introduced some systems of non-normal modal logics that have proven to have had lasting interest, the alethic system S0.5 and the epistemic systems E1–E5 linked to the systems S0.5 and Lewis's system S2–S5, but which lack the law of necessitation (Lemmon 1957). Lemmon was a pioneer of the modern approach to the semantics of modal logic, particularly through his collaboration with Dana Scott, but also became interested in the rival algebraic semantics of modal logic that follows more closely the kind of semantics found in the work of Tarski and Jònsson. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「John Lemmon」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.